Savchenko v . function representation in geometric modeling : concepts , implementation and applications . the visual computer , 1995 , 11 : 429 - 446 . 23 rvachev v l . geometric applications of logic algebra 盡管相交曲線是逼近計算的,相關的頂點還是用超形的參數化形式計算的,表明它們屬于隱函數的零集,但不會精確地位于理論上的相交曲線上。
In this article , according to the theory of logic algebra inequality , the notion of inequality in lattice implication algebra was introduced , three typical basic unary lattice implication algebra inequalities in lattice implication algebra l were investigated , and some properties and corollaries were obtained 摘要針對邏輯代數中的不等關系提出格蘊涵代數不等式的概念,討論了格蘊涵代數中3類最基本的一元格蘊涵不等式,得到一些性質及推論。